1. CONCUR 2000 : concurrency theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 : proceedings
Author: Catuscia Palamidessi )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1877
2. Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
Author: Catuscia Palamidessi )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2916
3. Logic programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003: proceedings
Author: Catuscia palamidessi, ]ed.[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
63
.
I55
2003
4. Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the ]7th[ International Conference, ALP'98, Pisa, Italy, September 1998 : proceedings
Author: Catuscia Palamidessi, Hugh Glaser, Karl Meinke )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Declarative programming
Classification :
QA
76
.
L28
Vol
.
1490
